1101. Visual reasoning with diagrams
Author: Amirouch Moktefi, Sun-Joo Shin, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic diagrams,Philosophy,Reasoning
Classification :
BC199
.
A26
.
M384
2013
1102. Visualization, Explanation and Reasoning Styles in Mathematics
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematics. ; Science ; Philosophy. ; Visualization. ; Mathematics_$xHistory. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematics, general. ; Visualization. ; History of Mathematics. ; Mathematical Logic and Foundations. ; Philosophy of Scie
1103. Visualization, explanation and reasoning styles in mathematics
Author: edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Library of Mofid University (Qom)
Subject: Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
Classification :
QA8
.
6
.
V57
2005
1104. Visualization, explanation and reasoning styles in mathematics
Author: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mathematics--Philosophy,Logic, Symbolic and mathematical.,Visualization.
Classification :
QA
,
8
.
6
,.
V57
,
2005
1105. Visualization, explanation and reasoning styles in mathematics
Author: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
Classification :
QA8
.
6
.
V57
2005
1106. Visualization, explanation and reasoning styles in mathematics
Author: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
Classification :
QA8
.
6
.
V57
2005
1107. Visualization, explanation and reasoning styles in mathematics
Author: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
Classification :
QA8
.
6
.
V57
2005
1108. Visualization, explanation and reasoning styles in mathematics
Author: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
Classification :
E-BOOK
1109. Visualization, explanation and reasoning styles in mathematics ]electronic resources[
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
Classification :
QA
8
.
6
.
V57
2005
1110. Vivid logic
Author: / Gerd Wagner
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Expert systems (Computer science),Logic, Symbolic and mathematical.
Classification :
QA
,
76
.
76
,.
E95
,
W33
,
1994
1111. Vivid logic : knowledge-based reasoning with two kinds of negation
Author: Wagner, Gerd, 7591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
764
1112. Web Reasoning and Rule Systems
Author: \ Balder ten Cate , Alessandra Mileo (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Semantic Web -- Congresses.,Rule-based programming -- Congresses.,Logic programming -- Congresses.,وب معناشناختی-- کنگرهها ,برنامهنویسی مبتنی بر قواعد -- کنگره ها ,برنامهنویسی منطقی -- کنگرهها
Classification :
TK
5105
.
88815
.
W4
2015
E-Book
,
1113. Web reasoning and rule systems
Author: Markus Krötzsch, Umberto Straccia (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses,Logic programming, Congresses,Rule-based programming, Congresses,Semantic Web, Congresses
Classification :
TK5105
.
88815
.
R8
2012eb
1114. Web technologies :
Author: Arthur Tatnall, [editor].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information technology.,Internet.,World Wide Web.,COMPUTERS-- Data Transmission Systems-- General.,COMPUTERS-- Networking-- Vendor Specific.,Information technology.,Internet.,World Wide Web.
Classification :
TK5105
.
888
.
W377
2010
1115. Westport, Conn. :
Author: John J. Butt.
Library: Library of Islamic Parliament (Tehran)
Subject:
1116. What do you think? Percentage of people who believe
Author: Judith A. Boss
Library: Library of Faculty of Literature and Humanities Sciences of Kashan University (Esfahan)
Subject: Reasoning,Critical thinking
Classification :
160
B745W
1117. What if there were no significance tests? /
Author: edited by Lisa L. Harlow, Stanley A. Mulaik, James H. Steiger
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Statistical hypothesis testing
1118. What is negation?
Author: edited by Dov M. Gabbay and Heinrich Wansing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Negation (Logic)
Classification :
BC199
.
N4
E358
2011